Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory

نویسندگان

چکیده

Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars GPT are always real unit interval [0,1], in effectus they any effect monoid. Hence, there quite exotic effectuses resulting from more pathological monoids. In this paper we introduce sigma-effectuses, where certain countable sums morphisms defined. We study particular sigma-effectuses unnormalized states normalized. show non-trivial sigma-effectus with normalization has either two-element monoid 0,1 or [0,1]. When and/or predicates separate find case category must embed into sets and partial functions (and hence Boolean algebras), showing it implements deterministic model, while [0,1] embeds Banach order-unit spaces pre-base-norm (satisfying additional properties), recovering structure present GPTs. operational considerations dichotomy between convex models physical theories.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bridges between deterministic and probabilistic models for binary data

For the analysis of binary data, various deterministic models have been proposed, which are generally simpler to fit and easier to understand than probabilistic models. We claim that corresponding to any deterministic model is an implicit stochastic model in which the deterministic model fits imperfectly, with errors occurring at random. In the context of binary data, we consider a model in whi...

متن کامل

Probabilistic and Piecewise Deterministic models in Biology

We present recent results on Piecewise Deterministic Markov Processes (PDMPs), involved in biological modeling. PDMPs, first introduced in the probabilistic literature by [30], are a very general class of Markov processes and are being increasingly popular in biological applications. They also give new interesting challenges from the theoretical point of view. We give here different examples on...

متن کامل

An Introduction to Effectus Theory

Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra structure, like in topos theory, but ‘characteristic’ functions, forming effect algebras. Such effect algebras are algebraic models of quantitative logic, in whi...

متن کامل

Uniform measures and countably additive measures

Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is a uniform measure. The functionals sequentially continuous on bounded uniformly equicontinuous sets are exactly uniform measures on the separable modificati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic proceedings in theoretical computer science

سال: 2021

ISSN: ['2075-2180']

DOI: https://doi.org/10.4204/eptcs.340.5